every void relation is symmetric and transitive proof